#include <tinx/syscall.h>
#include <tinx/printf.h>

int main(int argc, char *argv[])
{
    for (int i = 1; i < argc; i++)
    {
        printf("%s ", argv[i]);
    }
    write(STDOUT_FILENO, "\n", 1);
    return EOK;
}